Termination w.r.t. Q of the following Term Rewriting System could not be shown:
Q restricted rewrite system:
The TRS R consists of the following rules:
b(y, z) → f(c(c(y, z, z), a, a))
b(b(z, y), a) → z
c(f(z), f(c(a, x, a)), y) → c(f(b(x, z)), c(z, y, a), a)
Q is empty.
↳ QTRS
Q restricted rewrite system:
The TRS R consists of the following rules:
b(y, z) → f(c(c(y, z, z), a, a))
b(b(z, y), a) → z
c(f(z), f(c(a, x, a)), y) → c(f(b(x, z)), c(z, y, a), a)
Q is empty.